Proper actions which are not saturated

- Marelli, Damián; Raeburn, Iain